Test Case Generation Using Visual Contracts

Visual contracts provide a diagrammatic notation for preand postconditions as alternative to the Object-Constraint Language (OCL) or code-level contract languages. Using visual contracts for testing, we benefit from their executability and formal background in graph transformation to provide model-based test oracles and coverage criteria. Based on a static analysis of their dependencies and conflicts, in this paper we use visual contracts to generate test cases according to these coverage criteria. Together with previous work, this adds up to a comprehensive approach aiming to automate the three major challenges of testing through the use of models.